import java.util.*;

public class Test2 {
	public static void main(String[] args) {
	
		System.out.println("--------应用题--------------");
		MyProposition mp1 = new MyProposition("(¬p ∧ ¬(¬q) ∧ ¬q) ∨ (¬(¬p1) ∧ ¬q ∧ ¬q) ∨ (¬(¬p1) ∧ ¬(¬q) ∧ q))");
		System.out.println("真值表：");
		mp1.getTruthTable();
		System.out.println("主析取范式："+mp1.getZXQFS());
		System.out.println("主合取范式："+mp1.getZHQFS());
		
//		MyProposition mp2 = new MyProposition("(p3q)5(1p)5(p4q)");
//		System.out.println("2真值表：");
//		mp2.getTruthTable();
//		System.out.println("主析取范式："+mp2.getZXQFS());
//		System.out.println("主合取范式："+mp2.getZHQFS());
//		
//		MyProposition mp3 = new MyProposition("(p3q)2(1p)2(p4q)2(1q)");
//		System.out.println("真值表：");
//		mp3.getTruthTable();
//		System.out.println("主析取范式："+mp3.getZXQFS());
//		System.out.println("主合取范式："+mp3.getZHQFS());
//		
//		MyProposition mp4 = new MyProposition("(p3q)5(1p)5(p4q)5(1q)");
//		System.out.println("2真值表：");
//		mp4.getTruthTable();
//		System.out.println("主析取范式："+mp4.getZXQFS());
//		System.out.println("主合取范式："+mp4.getZHQFS());

//		MyProposition mp3 = new MyProposition("1q4p");
//		System.out.println("2真值表：");
//		mp3.getTruthTable();
//		System.out.println("主析取范式："+mp3.getZXQFS());
//		System.out.println("主合取范式："+mp3.getZHQFS());
		

	}	
}




/*
¬
∧
∨
⇒
⇔

public static int getDiadicOperationResult(char operator, int a, int b){
public String getBinary(int num, int resLength) {
public int getSingleTruthValue(String assignString) {
public MyProposition(String initExp) {
*/